- пустой квантор
- vacuous quantifier мат.
Русско-английский научно-технический словарь Масловского. 2015.
пустой квантор
Look at other dictionaries:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Соответствие Карри — Соответствие Карри Ховарда (изоморфизм Карри Ховарда, англ. formulae as types interpretation) наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… … Википедия
